1. CONCUR'91 : 2nd International on Concurrency Theory, Amsterdam, Netherlands, 1991 : Proceedings
پدیدآورنده : J. C. M. Baeten, J. F. Groote )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
527
2. Logical gates, circuits, processors, compilers and computers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computers. ;
3. Modeling and analysis of communicating systems
پدیدآورنده : Groote, Jan Friso, 5691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Simulation methods ، Telecommunication systems,، Computer science -- Mathematics,، Machine theory
رده :
TK
5102
.
83
.
G76M6
4. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : System design ; Congresses. ;
5. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : System design ; Congresses. ;
6. Typed lambda claculi and applications : International Conference on Typed Lam]b[ da Calculi and Applications, TLCA'93, March 16-18, 1993, Utrecht, the Netherlands: proceedings
پدیدآورنده : M. Bezem, J.F. Groote )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Lambda calculus
رده :
QA
76
.
L28
Vol
.
664